Monomorphism restriction
MonomorphismRestriction
https://wiki.haskell.org/Monomorphism_restriction